\usepackage[utf8]{inputenc}
\usepackage[english]{babel}

\usepackage[backend=biber]{biblatex}
\addbibresource{references.bib}

\usepackage{alltt}

\usepackage{booktabs}

\usepackage[scaled=0.8]{beramono}  % our monospace font
\usepackage[T1]{fontenc}  % this is necessary for beramo to work

\usepackage{listings}
\usepackage{upquote}

\lstdefinelanguage{hol4}{
  %alsoletter={@=>},
  morekeywords={
     Definition, End, Theorem, Proof, QED},
  %  fun, let, val, in, end, if, then, else, case, of},
  %sensitive=true,
  %morecomment=[l]{//},
  morecomment=[s]{(*}{*)},
  commentstyle=\color{gray},
  showstringspaces=false,
  columns=fullflexible,
  mathescape=true,
  numberstyle=\tiny,
  basicstyle=\ttfamily,
  numbersep=5pt,
  stepnumber=2,
  numbers=none,                   % where to put the line-numbers
  morestring=[b]"
}
\lstset{language=hol4, breaklines=true}
\usepackage{listings}

\usepackage{hyperref}
\usepackage{todonotes}
\newcommand{\heiko}[1]{\todo[inline,author=Heiko,bordercolor=red!20,color=orange!20]{#1}}
\newcommand{\IG}[1]{\todo[inline,author=Ivan,bordercolor=blue!20,color=orange!20]{#1}}
\newcommand{\ekey}[1]{\texttt{#1}}

\addto\extrasenglish{
  \def\sectionautorefname{Section}
  \def\subsectionautorefname{Section} % intentional
}
